Report on the Third Workshop on Verification of Model Transformations (VOLT 2014)
نویسندگان
چکیده
This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.
منابع مشابه
VOLT 2014 Workshop Report
This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirement...
متن کاملVerification of the CD2RDBMS Transformation Case in Flora-2
Model transformations play a key role in model-driven development. They are used to generate, refactor, synthesize, reverse engineer and simplify models among others. The accuracy of transformations will impact not only transformations themselves, but also the models, the first class entities of MDE. Verification of correctness properties ensures the quality of both transformations and models. ...
متن کاملNull Considered Harmful (for Transformation Verification)
The use of explicit null and invalid values in OCL can lead to complex and hard-to-verify specifications. In addition, these values complicate the logic of OCL and of transformation languages that use OCL, making it difficult to provide effective verification support for these languages. We define an alternative technique for using OCL with UML and model transformations which avoids the use of ...
متن کاملLanguage-Independent Model Transformation Verification
One hinderance to model transformation verification is the large number of different MT languages which exist, resulting in a large number of different language-specific analysis tools. As an alternative, we define a single analysis process which can, in principle, analyse specifications in several different transformation languages, by making use of a common intermediate representation to expr...
متن کاملPreface to the Third International Workshop on Bidirectional Transformations
This workshop is the third in a series promoting crosscollaboration between computer science disciplines on the topic of bidirectional transformations. The workshop had a 53% acceptance rate from submissions from four di↵erent disciplines. In this brief preface, we outline a definition for what makes a bidirectional transformation, and describe a history of the workshop and its associated meeti...
متن کامل